Creating a Mathematical Theory of Computer Networks
نویسندگان
چکیده
منابع مشابه
Creating a Mathematical Theory of Computer Networks
It all began with a comic book! At the age of 6, I was reading a Superman comic at my apartment in Manhattan when, in the centerfold, I found plans for building a crystal radio. To do so, I needed my father’s used razor blade, a piece of pencil lead, an empty toilet paper roll, and some wire, all of which I had no trouble obtaining. In addition, I needed an earphone, which I promptly appropriat...
متن کاملTheorema: Towards computer-aided mathematical theory exploration
Theorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives an overview on some reasoners and organizational t...
متن کاملCreating a Computer Cop
Food damage causes untold dollars of damage to computer labs across the world. Most labs have rules that prohibit eating, but theses rules are difficult to enforce. A simple automated system that is capable of detecting violators has the ability to both cut down on violations and to catch violators. In this project, we aim to intelligently identify when people are eating in the University of Ro...
متن کاملCreating a Mathematical Museum on Your Desk
Travel is unnecessary to see certain objects of mathematical interest, as new technology makes it convenient to be a stay-at-home explorer of 3D mathematical models. With the right equipment, one can create and enjoy a mathematical museum collection without leaving ones office. Figure 1 shows an assortment of physical models on shelves of my office. New technologies—commercially available or un...
متن کاملTheory of Flow Ordering for Computer Networks
How large is a network flow? Traditionally this question has been addressed by using metrics such as the number of bytes, the transmission rate or the duration of a flow. We reason that a formal mathematical definition of flow size should account for the impact a flow has on the performance of a network: flows that have the largest impact, should have the largest size. In this paper we present ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Operations Research
سال: 2002
ISSN: 0030-364X,1526-5463
DOI: 10.1287/opre.50.1.125.17772